Nuprl Lemma : not-true 11,40
(True)  False 
latex

ProofTree

DefinitionsFalse, t  T, True, x:A. B(x), A, P  Q, P  Q, P & Q, P  Q
Lemmasnot wf, true wf, false wf

origin